Issue580.agda:5,17-24
Record fields can not be private
when scope checking the declaration
  field A : Set
